Computational Restrictions for SPN with Generally Distributed Transition Times
نویسندگان
چکیده
منابع مشابه
Computational Restri tions for SPN with Generally Distributed Transition Times
The analysis of sto hasti systems with non-exponential timing requires the development of suitable modeling tools. Re ently, some e ort has been devoted to generalize the on ept of Sto hasti Petri nets, by allowing the ring times to be generally distributed. The evolution of the PN in time be omes a sto hasti pro ess, for whi h in general, no analyti al solution is available. The paper des ribe...
متن کاملMarkov Regenerative Stochastic Petri Nets
Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes continuous-time Markov chains for SPN and GSPN, semi-Markov processes for a subset of ESPNs and Markov regenerative processes...
متن کاملWebSPN : Non - Markovian Stochastic Petri Net Tool
This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN) that relax some of the restrictions present in currently available packages. This tool, called WebSPN, provides a discrete time approximation of the stochastic behaviour of the mrking process which results in the possibility to analyze a wider class of PN models with prd and prs concurrently e...
متن کاملSymmetric Stochastic Petri Nets
The stochastic Petri net (SPN) model is well suited to formal representation of concurrency, synchronization, and communication. In this paper we focus on discrete event simulation methods for SPN models with special structure and define a symmetric SPN. Exploiting properties of a symmetric SPN and underlying regenerative process structure, we establish steady state estimation procedures based ...
متن کاملDesign and Implementation of aWEB - based non - Markovian
This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN). This tool, called Web-SPN, provides a discrete time approximation of the stochastic behavior of the marking process which results in the possibility to analyze a wider class of PN models with prd, prs and pri concurrently enabled generally distributed transitions. An example is used to show t...
متن کامل